ألونزو تشرتش أمثلة على

• وهو واحد من العديد من علماء المنطق الذين درسوا مع ألونزو تشرتش .
• قدم لأول مرة من قبل عالم الرياضيات ألونزو تشرتش في الثلاثينيات من القرن الماضي في اطار التحقيقات في أسس الرياضيات.
• وقد فعل ذلك ألونزو تشرتش عام 1936 مع مفهوم "القدرة الحسابية الفعالة" على أساس حسابات اللامدا الخاصة به وآلان تورنغ في نفس السنة بمفهومه آلة تورنغ وقد تم الاعترف في وقت لاحق أن هذه المفاهيم معادلة لنماذج الحساب.